Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST

Source URL: frama-c.com

• Software
• Software requirements
• Embedded systems
• Safety
• DO-178C
• DO-178B
• Frama-C
• Formal verification
• Verification
• Software development
• Avionics
• Computing

UNFCCC Technical Workshop on Joint Implementation Experiences and issues regarding application of JI specific approaches regarding additionality TÜV SÜD Industrie Service GmbH

Source URL: ji.unfccc.int

• Standards organizations
• TÜV SÜD
• Germany
• Carbon finance
• Sociology
• Climate change
• Clean Development Mechanism
• Science and technology in Germany
• Technischer Überwachungsverein
• Product certification

UK-China Innovation for Sustainability and Equitable Development Report of a workshop held at Tsinghua University School of Public Policy and Management, Beijing, 19th MarchProduced by:

Source URL: steps-centre.org

• Academia
• Development studies
• Poverty
• University of Sussex
• Research
• Sussex Manifesto
• Science and Technology Policy Research
• STEPS Centre
• Sustainable Agriculture Innovation Network
• Science and technology studies
• Science
• Development

Discussion Paper: Capacity Building to Engage People with Disabilities in Art and Culture Activities Prepared by Helen Armstrong for the workshop

Source URL: www.aarts.net.au

• Community building
• Sociology
• Science
• Capacity building
• Nonprofit technology
• Disability
• Community development
• Community organizing
• Community arts
• Development
• Disability rights
• Structure

Image: Fardin Waezi (UNAMA) Conference report Workshop on evaluation lessons from development assistance to Afghanistan Tuesday 19 – Thursday 21 February 2013 | WP1223

Source URL: www.wiltonpark.org.uk

• International relations
• Aid effectiveness
• Budget support
• Politics of Afghanistan
• Capacity building
• Afghanistan Public Policy Research Organization
• War in Afghanistan
• Afghanistan
• Asian Development Bank
• Development
• International economics
• International development

WORKSHOP ON CAPACITY BUILDING FOR PRODUCER ORGANIZATIONSOctober 2011, Royal Princess Chiang Mai Hotel, Chiang Mai, Thailand Participant list COUNTRY NO.

Source URL: afmaasia.org

• United Nations Development Group
• Business
• Agriculture ministry
• Food and Agriculture Organization
• Agricultural cooperative
• Association of Southeast Asian Nations
• Agriculture
• United Nations
• Rural community development
• Food politics

JI Track 2 Procedure Experience Gained and Existing Challenges UNFCCC Technical Workshop on Joint Implementation Bonn, Germany • September 9-10, 2008 Morten Prehn Sorensen Core Carbon Group

Source URL: ji.unfccc.int

• Environment
• Climate change
• Carbon dioxide
• Joint Implementation
• Kyoto Protocol
• Emissions reduction
• Clean Development Mechanism
• Carbon finance
• United Nations Framework Convention on Climate Change
• Climate change policy

Workshop on Applications of Mobile Telephony for Development – M4D Dr. Venkataraman Balaji Director of Technology and Knowledge Management

Source URL: www.col.org

• Distance education
• Educational technology
• Blackboard Inc.
• Online education
• Mobile phone
• Printing press
• Technology
• Education
• Digital media

Ethik in der Praxis der entwicklungspolitischen Zusammenarbeit Ethics in the Practice of Development Cooperation Internationaler Workshop zur Erstellung des Entwurfs für einer Ethikleitlinie International Workshop for t

Source URL: www.dgv-net.de

Economic Development and the Organization of Production, by Nicolas Roys and Ananth Seshadri , presented at the Workshop on Macroeconomic Policy and Income Inequality; 18-19 September 2014

Source URL: www.imf.org

• Manufacturing
• Capital
• Economics
• Labor economics
• Productivity
• Workforce productivity
• Human capital
• Factors of production
• Labour economics
• Business
• Technology
• Economic growth